Перевод: с английского на русский

с русского на английский

С русского на:
Английский
С английского на:
Русский

existential theorem

Толкование Перевод

1 existential theorem

Математика: теорема существования

Универсальный англо-русский словарь > existential theorem
2 existential theorem

теорема существования

English-Russian scientific dictionary > existential theorem
3 theorem

теорема

that establishes the theorem — тем самым теорема доказана

the theorem is proved — теорема доказана

theorem implies — из теоремы следует, что…

this concludes the proof of theorem — это завершает доказательство теоремы

under hypothesis of theorem — по условию теоремы

- absolute geometrical theorem

- abstract theorem

- additivity theorem

- adequacy theorem

- alleged theorem

- analytical enumeration theorem
- analytical hierarchy theorem
- analyticity theorem

- approximation theorem

- arithmetical enumeration theorem
- arithmetical hierarchy theorem
- associative theorem

- asymptotic passage theorem

- asymptotic theorem

- auxiliary theorem

- average theorem

- azygetic theorem

- bachet's theorem

- ballot theorem

- binomial theorem

- boundary theorem

- cardinality theorem

- Cauchy residue theorem

- central limit theorem

- central statistical theorem

- characterization theorem

- class existence theorem

- classical theorem

- classification theorem

- closed graph theorem
- closed range theorem
- closure theorem

- cobordism theorem

- cobweb theorem

- coding theorem

- coincidence theorem

- combination theorem

- combinatorial theorem

- compactness theorem

- comparability theorem

- comparison theorem

- compensation theorem

- complementary theorem

- completeness theorem

- composition theorem

- conductor-ramification theorem

- conservation theorem

- consistency theorem

- continuation theorem

- continuity theorem

- convergence theorem

- converse limit theorem

- converse theorem

- convexity theorem

- convolution theorem

- cosine theorem

- covering theorem

- decomposition theorem

- deducible theorem

- deduction theorem

- definability theorem

- density theorem

- descriptive theorem

- determinant theorem

- dimension theorem

- direct theorem

- distortion theorem

- divergence theorem

- dominance theorem

- double recursion theorem

- dual theorem

- duality theorem

- dynamical theorem

- edge-of-the-wedge theorem

- either-or theorem

- elementary theorem

- elimination theorem

- embedding theorem

- enclosure theorem

- enumeration theorem

- equal probability theorem

- equality theorem

- equilibrium theorem

- ergodic theorem

- exactness theorem

- excision theorem

- existence theorem

- existence theorem

- existential theorem

- expansion theorem

- explicit theorem

- extension theorem

- extreme-value theorem

- factor theorem

- factorization theorem

- faltung theorem

- fan theorem

- feasibility theorem

- Fermat's last theorem

- finiteness theorem

- five color theorem

- fixed-point theorem

- formal theorem

- formally deducible theorem
- formally provable theorem
- formation theorem

- friendship theorem

- fundamental theorem of algebra

- fundamental theorem

- fuzzy theorem

- gap theorem

- general theorem

- generalized theorem

- going-up theorem

- graphical theorem

- hierarchy theorem

- holonomy theorem

- homotopy addition theorem
- implicit function theorem
- incompleteness theorem

- index theorem

- individual ergodic theorem
- initial value theorem - integral representation theorem
- integral theorem

- integrality theorem

- integration theorem

- interchange theorem

- intermediary theorem

- intermediate value theorem

- interpolation theorem

- interpretability theorem

- interpretation theorem

- invariance theorem

- inverse function theorem

- inverse theorem

- inverse transform theorem

- inversion theorem

- isomorphism theorem

- isoperimetric theorem

- joint consistency theorem

- Karhunen-Loeve theorem

- kernel theorem

- key renewal theorem

- least-upper-bound theorem

- limitative theorem

- limiting theorem

- linearity theorem

- local description theorem
- local limit theorem
- local theorem

- local uniformization theorem

- local-global theorem

- localization theorem

- logical theorem

- main theorem

- map color theorem

- martingale convergence theorem

- martingale theorem

- matching theorem

- max-flow min-cut theorem
- maximal ergodic theorem
- maximal theorem

- maximality theorem

- maximum-modulus theorem

- mean ergodic theorem
- mean value theorem
- mean-value theorem

- measurability theorem

- metamathematical theorem

- metrization theorem

- minimax theorem

- model extension theorem

- monodromy theorem

- monotonicity theorem

- multinomial theorem

- multiplication theorem

- Nagy-Faias theorem

- negation of theorem

- negation theorem

- Nikodym theorem

- nonexistence theorem

- normal addition theorem
- normal form theorem
- normalization theorem

- Nyquist-Kotelnikov-Shannon sampling theorem

- occurrence theorem

- open mapping theorem

- operator theorem

- opposite theorem

- ordering theorem

- orientability theorem

- orthogonality theorem

- orthographic theorem

- oscillation theorem

- painting theorem

- parallel axis theorem

- parametric theorem

- parametrization theorem

- periodicity theorem

- permutation theorem

- Plancherel theorem

- pointwise ergodic theorem

- preliminary theorem

- preparation theorem

- prime number theorem

- principal theorem

- probability theorem

- product theorem

- prolongation theorem

- proximity theorem

- quantifiers elimination theorem

- quantitative theorem

- quasiergodic theorem

- random ergodic theorem
- ratio limit theorem - rational root theorem
- recurrence theorem

- recursion theorem

- reduction theorem

- reflection theorem

- regularity theorem

- relativized theorem

- renewal density theorem

- replacement theorem

- representability theorem

- representation theorem

- residue theorem

- resonance theorem

- reverse-flow theorem

- root-counting theorem

- sampling theorem

- second limit theorem
- second mean value theorem
- selection theorem

- semantical theorem

- semilocal theorem

- separation theorem

- seven color theorem

- sewing theorem

- shift theorem

- signature theorem

- similarity theorem

- similarity theorem

- similitude theorem

- single-valuedness theorem

- sinusoidal limit theorem

- six-color theorem

- soundness theorem

- special theorem

- spectral theorem

- stability theorem

- stationarity theorem

- strong theorem

- structure theorem

- substitution theorem

- subtle theorem

- summation theorem

- superposition theorem

- suspension theorem

- symmetry theorem

- syntactical theorem

- synthesis theorem

- tautology theorem

- theorem of alternatives

- theorem of choice

- theorem of closed graph
- theorem of consistency proofs - theorem of corresponding states
- theorem of mean

- theorem of numerical comparison

- theorem of residues

- theorem of sines

- theorem of total probability

- theorem of units

- Theveni's theorem

- three circle theorem
- three line theorem - three series theorem
- torsion theorem

- transference theorem

- translation theorem

- transposition theorem

- tree theorem

- triad theorem

- triple limit theorem

- truth theorem

- two constants theorem

- two triangles theorem

- ultraproduct theorem

- umbrellas theorem

- undecidability theorem

- unicity theorem

- uniform boundedness theorem
- uniform convergence theorem - uniform ergodic theorem - uniform mean value theorem
- uniformization theorem

- unique factorization theorem

- uniqueness theorem

- validity theorem

- Van Cittert-Zernike theorem

- vanishing theorem

- variant theorem

- virial theorem

- weak theorem

- well ordering theorem

- Wiener-Paley theorem

- work-kinetic energy theorem

English-Russian scientific dictionary > theorem
4 hypothesis

1) гипотеза

2) допущение; предположение

3) постулат

•

hypothesis states that — гипотеза утверждает, что

hypothesis under test — проверяемая гипотеза

proof from a hypothesis — доказательство с помощью гипотезы

under the hypothesis of a theorem — по условию теоремы

to make a hypothesis — строить гипотезу; выдвигать гипотезу

to test a hypothesis with experiment — проверять гипотезу на опыте

to test a statistical hypothesis — проверять статистическую гипотезу

- acceptable hypothesis

- accepted hypothesis

- admissible hypothesis

- Aleksander-Orbach hypothesis

- alternative hypothesis

- analytical hypothesis

- atomic hypothesis

- atomistic hypothesis

- auxiliary hypothesis

- background hypothesis

- basic hypothesis

- bounded universal hypothesis

- casual hypothesis

- central hypothesis

- coarse hypothesis

- combined hypothesis

- competing hypothesis

- complementary hypothesis

- complex hypothesis

- complicated hypothesis

- component hypothesis

- composite hypothesis

- compound hypothesis
- concurrent hypothesis
- confirmable hypothesis

- confirmed hypothesis

- conjunctive hypothesis

- consequential hypothesis

- consilience of hypothesis

- consistent hypothesis

- constituent hypothesis

- continuum hypothesis

- contradictory hypothesis

- contrary hypothesis

- correct hypothesis

- corroborated hypothesis

- corrolary hypothesis

- current hypothesis

- dependent hypothesis

- derivative hypothesis

- descriptive hypothesis

- deterioration hypothesis

- deterministic hypothesis

- directly testable hypothesis

- disconfirmable hypothesis

- double-sided hypothesis

- effective hypothesis

- empirical hypothesis

- empirically supported hypothesis
- empirically testable hypothesis
- ergodic hypothesis

- erroneous hypothesis

- ether hypothesis

- exact hypothesis

- existential hypothesis

- explicit hypothesis

- exponential hypothesis

- extended hypothesis

- false hypothesis

- falsifiable hypothesis

- falsified hypothesis

- faulty hypothesis

- fundamental hypothesis

- general hypothesis

- generalized hypothesis

- generating hypothesis

- glacial hypothesis

- goal hypothesis

- homogeneity hypothesis

- hypothesis of geodesics

- hypothesis of homogeneity of variances

- hypothesis of homogeneity

- hypothesis of independence

- hypothesis of randomness

- hypothesis of rule

- hypothesis region

- illustrative hypothesis

- implausible hypothesis

- implicit hypothesis

- incompatible hypotheses hypothesis
- incompletely confirmable hypothesis
- incorrect hypothesis

- indefensible hypothesis

- independence hypothesis

- independently testable hypothesis
- indirectly testable hypothesis
- induction hypothesis

- inexact hypothesis

- irrelevant hypothesis

- linear hypothesis

- logically necessary hypothesis

- main hypothesis

- mathematical hypothesis

- mixed hypothesis

- mixing hypothesis

- most credible hypothesis
- multiple hypothesis - multivariate hypothesis
- noncontradictory hypothesis

- nonnull hypothesis

- nonobservational hypothesis

- nonparametric hypothesis

- operational hypothesis

- original hypothesis

- orthodox hypothesis

- preconceived hypothesis

- primary hypothesis

- principal hypothesis

- probabilistic hypothesis

- provisional hypothesis

- quasiergodic hypothesis

- quasigeneral hypothesis

- reasonable hypothesis

- refined hypothesis

- refutable hypothesis

- rejected hypothesis

- restricted hypothesis

- restrictive hypothesis

- ring hypothesis

- secondary hypothesis

- semantical hypothesis

- simple hypothesis

- single-sided hypothesis

- special hypothesis

- specific hypothesis

- statement of hypothesis

- statistical hypothesis

- strictly interpretable hypothesis

- subsidiary hypothesis

- supplementary hypothesis

- tenable hypothesis

- tentative hypothesis

- testable hypothesis

- tested hypothesis

- testing of hypothesis

- true hypothesis

- two-sided alternative hypothesis

- two-sided hypothesis

- ultimate hypothesis

- unbounded universal hypothesis

- underlying hypothesis

- unfalsifiable hypothesis

- unfalsified hypothesis

- unifying hypothesis

- univariate hypothesis

- universal hypothesis

- unproved hypothesis

- unsupported hypothesis

- unverifiable hypothesis

- weak hypothesis

- working hypothesis

English-Russian scientific dictionary > hypothesis

См. также в других словарях:

Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Herbrand's theorem — is a fundamental result of mathematical logic obtained by Jacques Herbrand (1930). [J. Herbrand: Recherches sur la theorie de la demonstration. Travaux de la Societe des Sciences et des Lettres de Varsovie, Class III, Sciences Mathematiques et… … Wikipedia
Karp-Lipton theorem — The Karp–Lipton theorem in complexity theory states that if the boolean satisfiability problem (SAT) can be solved by Boolean circuits with a polynomial number of logic gates, then :Pi 2 , = Sigma 2 , and therefore mathrm{PH} , = Sigma 2 ,.That… … Wikipedia
Existence theorem — In mathematics, an existence theorem is a theorem with a statement beginning there exist(s) .. , or more generally for all x, y, ... there exist(s) ... . That is, in more formal terms of symbolic logic, it is a theorem with a statement involving… … Wikipedia
Post's theorem — In computability theory Post s theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees. Background The statement of Post s theorem requires several concepts relating to definability and… … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Fagin's theorem — is a result in descriptive complexity theory which states that the set of all properties expressible in existential second order logic is precisely the complexity class NP. It is remarkable since it is a characterization of the class NP which… … Wikipedia
Syllogism — A syllogism (Greek: συλλογισμός – syllogismos – conclusion, inference ) is a kind of logical argument in which one proposition (the conclusion) is inferred from two or more others (the premises) of a certain form. In antiquity, there were… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
List of philosophy topics (D-H) — DDaDai Zhen Pierre d Ailly Jean Le Rond d Alembert John Damascene Damascius John of Damascus Peter Damian Danish philosophy Dante Alighieri Arthur Danto Arthur C. Danto Arthur Coleman Danto dao Daodejing Daoism Daoist philosophy Charles Darwin… … Wikipedia
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на русский

existential theorem

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

existential theorem

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: